perm filename CURVES.GF[MF,DEK]2 blob
sn#752800 filedate 1984-05-01 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔ εRp_ '#_ &d_ε␈␈␈␈x␈␈␈⎇`π0␈␈␈␈⊂∧X␈␈␈␈λε&α9H fCiX⊂fDYX∪fe)X⊗&eyX_gε9X~gεyX≤OA9`≥∞α9X≡Lc `∨KCY` ⊂¬"⊂MPλ2(∪gλ∧(⊂
sD#Fey` ∩BC N⊂ ``≤gλ N⊂∩Y` %3DK'λ 8N⊂∩y` &∪DL'¬`8 →∪RPεP →`∀∧(¬xN bD/'∧a8 ↔∪B( P 9`∩FH¬PN βQh∧
∪R_∂ε!S⊂NλD⊃ ∪B⊂⊃CbbxNλD`@
KSB⊂ ∩EYh⊂P 2`Nλ(∧X⊗'∧∀&
sR ∪¬9`⊂⊂ BXNλλ∧h∃'$∧&
3B ∪¬→`⊂⊂ BHNGh∧`∀g∧∧%J3B ∩e h∂P 2@Nπh∧X∀'#t$J∪Ax ∩% h∂P α8Nπh∧@∪g#t# sQp ⊃Dy`∂PλB8NGh∧_∪gβt! sQx ⊂∧yh∂ODyh∂O¬ `⊂∞E h⊂ME→h⊂Le)h⊃ e9h∩
%Yh→¬&→h ≥ST9gHπNP
Yh ~sd3gHε_O⊂ yp ⊗St*(λ∧hWM5Q`"⊂`_?␈x␈␈␈␈x␈t ≤←␈x␈u@∀←␈x␈y↓)@λfBiP
&CiX⊂&d9X∩fe X∃'¬9X↔&f `_ff9`~gεiX≤'π)`≥gπT"BSCp∨DsD ∞C ` ⊂&ahN⊂λ3λ⊂g(∧ ⊗ SD# e)h ⊃d"pNP ⊃`→'H∧P
Sd&CπJ8 "T∧Cghλ(O⊂⊂9p
Ahε0O∧!42'APx _sPX ⊂ →h∧EλεO↓Bd0' Q8 ↔sP_
⊂ Yh↓εh¬`]⊂ Ip ⊗SR∧ 3aPπ sa( K3a K∪pH∞
o⊂( ⊃¬)`∧⊂λ∩PNB(∧∀g↓3p∀g!3h∀g!3h∀'↓C`∀'!CX∪g↓SP∪g!CP∪g↓SH∪g!S@∪g↓S@∪'↓c8∪'!S8∪'↓c(∪g↓c(∪'!c ∪'↓c ∪'↓c_∪g!S_∪'↓c⊂∪'↓cλ∪g!Sλ∪'↓Sλ∪'↓bx∪'↓bx∪'↓bp∪g!Rp∪'↓Rh∪g↓R`∪g↓R`∪g↓RX∪g↓RP∀'↓RP∪g!BH∀'↓R8∀'↓R0∀g↓b ∀g↓b_∀g↓rλ∃'α↓p∃gα⊃`⊗'α!H⊗gαA(↔'αaλ↔gβ⊂P→gλ¬(N⊂
Ih ∀SD)'λ¬λN⊂
h ∪SD&gλ∧`NP )` ∩3T#g(∧(N⊂λ9h ⊂3SxNO∪SPNMsS(O 3RpO
Sb(OGsq@PCHD_ε⊂␈␈␈␈x␈␈␈⎇Hπ_␈␈␈}λ∧h␈␈␈}X¬fα9P &CIP⊂&d9X∪&e X∃fei`↔ff)`→ffi`≠fg→`≥PλXN∂'⊃_N∂FAPN⊂λαx∂gλ∧⊂∃λsD" % h ⊃$α`N⊂λqX_'(∧H
M∪D&Cπ)h $sTI'( ⊂N⊂∩)h $STHg( λN !∧2'$ h _3QxλP h∞Eλ¬pNπαd.g#1@ ⊗sQH
⊂ 9h πλ¬HNεβQp∧L3Q8∂F!bxNED⊃ K3Q0⊃βbr`N¬DP@∞
sQ0 ∩%)h
P ∩PNE(∧H∀g"T$
3A0 ⊃e→h
P α@NE(∧8∀'"T# sA0 ⊃$yh
PλR8NE(∧ ∪g"T!IsA( ⊂dih
Pλ"0NE(∧λ∪'"Sx∪gαSx∪'"Sp∪'"Sh∪'"SX∪'αSX∪'"SH∪'"S@∪'"S0∪gαS0∪'"S ∪g"S⊂∪g"Sλ∪'αS∪g"Rp∪g"R`∀'"RP∀'αRH∀'"R8∀g"R ∃'"R⊂∃'αax∃g"qX⊗g#↓8↔'#⊃_↔gβPX→'(¬@NP
ih ∃∪T)'λ¬λNP yh ∪∪T%'(∧@NPλih ⊂sT gGYh≥'Fih→gEyp∃gDix⊂'c~λπQλ0 ?x␈␈␈␈x␈␈{ ∞/x␈␈⎇0 ?x␈␈␈0pKF∪⊃xLI3"HM 3#λMLs#8∪C33H⊃¬S3`∞G∪3p HS4 ¬DiX ⊂BB@MPλAλ⊗'λ∧(πKS4#Cε)X ∩!# N⊂ @≠&h∧XβN∪D&↓')X ∪@3`N⊂ `⊂∨&hλxN⊂∩ ` $34I'λ _N⊂∩9` %∪4Jgλ 0N
↓$,'ε↓⊂ ∃3Bp ⊂
9`⊗εH¬λN
cQλ¬
3BP∂C"β⊂N
$⊂P
∪B@⊃AcαpN
∧@(
3R0∪cBhN D`⊂∂ ∪B( ∩¬9`∩P αXNIλ∧H∃'∧4%J3B_ ∩e→h⊃⊂ B@NλH∧`∀'∧$&
∪Rλ ∪$y`⊂P R8NHλ∧h∪g∧∀& SR ∪∧ih∂P B0Nλλ∧X∪'#t%ISQx ∩DYh∂P α0Nπh∧@∪'#t#I3Qx ⊃$ih∂PλB0NGh∧⊂∪'#t ISQx∨ISR≡ISR≥ISR≤Isb≠ sRλ→J∪R⊂_
∪R_⊗J∪b_∀J3R(∩
sb0∂K∪RH Sbhπ 3d4gHε0NP Ip _3d.gh¬HO⊂
ip ∀St''h∧HOPλIx∨gg~→(%*λ⊂hbD !@2?␈␈x␈␈␈␈xm9?␈␈xu@%␈␈␈x⎇CRq@LGs∩(M
3"hM 33_M
dphMN$!0MOβQ`MOC∩⊂MPλ↓0∪&h∧⊂
∪4"∧%I` ⊃!rpMPλp`→&h∧H¬
∪D%αεiX ∩`s@N⊂ @(≥&h∧p↓O∪D'GiX #sDH'λ λMP∩)` $sDIgλ MP∩Y` %SC ¬⊂ `_∧H¬(N Bd)g¬AP ∀3BX∞D!#(N
Cphλ SBH⊂BBCN
∧08 SB@∩↓#"hNID`_∞ 3B0∪Cb`N (∧@∃g∧T$
sR ∩%)`⊃P 2HNλh∧X∀g$$&
∪B⊂ ∪¬ `⊃⊂ B@NH(∧h∪g∧∀&IsR ∪$y`⊂P B0NHλ∧`∪'#t& SB ∩dih∂P 20NGh∧P∩g#t$ SAx ∩∧ih∂Pλr(NGh∧(∪'#t" SQx ⊂Dih∂Pλ∩0NGgr0NHπR0NHπ20NHπ∩8Oλεb8NH&2@NHFα@NHeR@Oλe∩HNI$BXO Cr`NJ#αpO !cλO⊂
→p →ST2'HελO⊂ Yx ⊗3d+'H¬⊂OP ix ∩3t"'gyx≤hε*λ∃($~_
⊃λ0 ←x␈␈␈␈x␈␈{ ∞∨x␈␈⎇0 Ox␈␈␈`pKF3αLIS"PM S#⊂∩β3#(∂E33@
π∪#X H∪3h
∪3xλJ∪4 Ce9X ⊂aRhMPλPX_&h∧0¬ S4$αεI` ∩ s(MP 0≠gλ∧XαN∪4&↓π)` ∪ 3XMP `⊂≡'λ∧xO34GgλλxN⊂∩ X $SDI'λ _N⊂∩9X %∪DJgε0@ ⊗SCπP
i`↔∧h¬(N αt)g¬1H
BF9`∃πα↓_g¬⊃pεE¬y`∀λ!⊃@⊗g¬α⊂βFEIh∪ Q`∃g∧b(↓GE9`∩I`∩∃'∧T$
SB( ∩%→h⊃P 2@Nλh∧X∀'∧4& sR⊂ ∪∧y`⊃⊂ B8NH(∧h∪'∧∀&ISRλ ∪∧i`⊂P B0NHλ∧`∪'$∧%I3B ∩dYh⊂⊂ "(NGh∧P∩g#t$ SAx ∩∧Yh∂Pλr(NGh∧(∪'#t" SQx ⊂Dih∂Pλ∩0NGgr0NHπR0NHπ20NHπ∩8Oλεb8NH&2@NHFα@OλERHNHe∩PNI$BXO CrhO
βαxNK!c⊂O⊂
)p →sd2'HελO⊂ ip ⊗Sd+gh¬_O⊂ yx ∩St"gh∧P∞Tβ_P ∀"λQEλD_ε0␈␈␈␈x␈␈␈⎇Pπλ␈␈␈}X∧X␈␈␈␈0βf↓IPπfB)P
fC X
fCiX⊂&d9X∩fe X∃fei`↔ff)X~P p⊂N∞λ∧Pαfg4"B3Cp ⊂↓IX ⊂G!N⊂λS_
&h∧P∃F3D'HCi` ∃B20MP∩→` $SDI'λ _MP∩I` %∪DJgε ( ↔SC∧⊂ Y`↔αh¬hN ↓d.'¬1 ⊗sBP P )`∀EH¬@N
β∧+g$qP∪@EI`∪πD (∃g∧b∞B%9`∩Iαp`∃g$BHεDE)`⊃P ∩PNλh∧P∀g$$%
3B⊂ ∩e h⊂P 2@Nλ(∧X∀'$∧& sB ∪∧yh⊂⊂ 28Nλλ∧X∪g#t%IsQx ∩Di`∂P "0NGh∧H∪'#d$ISQp ∩∧i`∂⊂ α(NGH∧0∪'#d"ISQp ⊃∧Yh∂⊂λ"0NGH∧λ∪'#cx∪'#cp∪'#sX∪'#sP∪'Cs8∪'#s(∪g$β⊂∪g$∩x∀'D∩`∀'$28∀gD2_∃g$Qp⊗'Dq8↔'E0h_gHε0NP Ip _3d/'h¬HO⊂
ip ∀st''h∧HOPλIx∨gg*→h¬Jλ⊃)αD !@3␈␈␈x␈␈␈␈xn5␈␈␈xz%␈␈␈x⎇@S0(MB∪ `MCs1⊂M¬S1HMπ32MHs"8MJS2hM 33 MMh∧ ↓fG3X¬&gc⊂ &h∧λ∀F3$"H∧ X ∩αr8M⊂ @p↔&h∧xαM3DDg(λHNP⊃ h !sDCg(λ0NP⊂Yh !∪Bh↓⊂
ih∃A(¬ NJ!∧)'$`` ∀∪B(πP ih⊃∧h∧`NHαd%'#aH ∩3A`∞H2 NFD↓8¬ ∪Q8∩βB"_NE$p( HsQ ⊃$9`
PλB_NE(∧_⊃g"T! ∪Q ⊂DI`
Pλ"_NE(∧λ⊃g"T λsQ ⊂∧9`
Od9h
ODIh
O$Ih
O∧I`
O$9h
O∧9h
Nd9h
ND9`
NDIh
N$Ih
N∧Ih
N∧9`
N∧9h
Md9h
MD9h
M∧Y`
K%Ih
IF)h
Gg h
FπY` ∧'Yh
BGYh
@gYh ∪SD$'(∧λNNSS_NK∪B0NGSQ8ND∪@PN@hD_ε@␈␈␈␈x␈␈␈⎇Xπ(␈␈␈}`∧X␈␈␈␈ ¬fα)P fC9P∂fd)P∪&e X∃feYX_&f)`→ffiX≤∂!9`≤Mb9X≡ C→`≡KCiX ⊂¬∩⊂N⊂λ" ∪fh∧(∂JsD#FEy` ∩BC_MP pX≤gλ N⊂∩I` %3DK&h 8N⊂∪ ` &∪DLgε8 _SBhεP y`∃D(¬pN
BD.'¬⊃0 ⊗sB@ P →`∪Fh¬HN cAh∧ sR(∂F↓SλN $↓ sB ⊃CbbpN ∧`@
K3B ∩EIh⊃⊂ BXNλH∧`∃g∧$&JSRλ ∪%)`⊂P RPNHλ∧p∀g∧∧'
∪Qx ∪E `⊂⊂ R@NGh∧h∀'βt&IsQx ∪∧yh∂⊂ B8Nπh∧X∪'#d% sQp ∩$yh∂⊂ α0NπH∧8∪g#d# SQp ⊃∧yh∂⊂λ20NGH∧λ∪g#d SQp∨ SQx≥IsQx≤IsR≠ sax~
∪R_J∪Rλ⊗J3b⊂∀
SR_∩
sb ∂K∪R8 SbXπ 3T4'Hε(O⊂ →p ↔Sd-'H¬8O⊂
9x ∪st%'H∧0OPλ
≥(ε:∃h$* Qλ0
∨x␈␈␈␈x␈␈{@
←x␈␈}⊂ ?x␈␈␈ (LBs!MDs!8Mεs1hMλ32 M s2PMK32xM s30MNπPXMNfQ_MOEaHMPλαH∂&h∧_⊃λs4#π¬ ` ∩αb`MP 1_gλ∧h∧MS4FgλλpN⊂⊃i` #SDGgλλxN⊂⊃yh #SCλαP →`↔B(¬8NK!D*g¬1 ∀sRH ⊂
)`∪EH¬N C∀'g$AX∂↓e→`⊃GBph∀'$∩λλDDyh∂I↓10∪gβb8αFdih∞Pλr0Nπ(∧8∪'#D#IsQX ∩∧i`∞⊂λr0NFh∧8∪'#$#ISAX ⊃Dih
⊂λr(NFH∧0∩g#$"I3AP ⊃$Yh
⊂λB(NFH∧_∩g#∀!I3AP ⊂DYh
⊂λ∩(NFH∧∩g##x∩g#∪x∩g#∪p∩gβ#h∩g##`∩'##P∩g##H∩g##8∪'##(∪'##⊂∀'#"p∃g#2H⊗g#2(↔g#Ah~'#q⊂≥'(ε@NP Yh _Sd/'(¬XNP
yh ∀sd''(∧HO⊂λ)p≥gFIx∀hc∧ !@5?␈␈x␈␈␈␈xm@9?␈␈xv@%␈␈␈x{B3⊂xLE3!HMπ3"λMHs20M
32`MKS3λMLs30MNπ@XN∞&q⊂MOε⊃@MOEQhMPλ∩8⊃'λ∧_⊃ S4#π%)` ∩βαpN⊂ !⊂→fh∧p¬MsDHgλ ⊂MP∩9` %∪DJ'λ (N⊂∩Y` %3CλβP i`↔Bh¬`N !t-'¬1_ ⊗3BP
P h∀ελ¬0N c$*g∧ah∞Aey`∩Gch↔'$Bλ ∧EY`⊃I↓Q0⊗'∧20∧εE9h⊂P ∩XNλ(∧P∃'$∧%
SB ∩e→h∂P 2HNπh∧X∀g#d&
∪Ax ∩e h∂⊂ 2@NG(∧X∀'βd% sQh ∩Dyh∞P ∩8Nπ(∧H∪g#T$ sQh ⊃dih∞Pλb0Nπ(∧(∪g#T" sQh ⊂dih∞Pλ"0NG(∧∪'#Sx∪'#Sh∪'#S`∪'#cH∪'#c8∪g#c(∪g#s⊂∪gCbx∀g#rX∃'$∩0∃g$2λ⊗'DAP↔g%↓→g(εHO⊂ ih _sd0'H¬`NP )p ∃Sd)'h∧hO⊂ →x ⊂sshOMtαxPI4A("⊂`~␈␈x␈␈␈␈x␈w~␈␈x␈⎇∩␈␈x␈}`)Xαfa Pε&ayX &BiX fCYX⊂&d9P∪fe)X⊗fF→X~&ft!A∪#X≥αs3p_Ds4 Jβ)P ⊃#rλMP ↓0∀&H∧`π S4'A&Y` "3TDg(λ@NP⊂y` !sTC'(λ(NP⊂I`⊗@H¬0NJ`T*'%⊂@ ∀SR0ε⊂
`∩Ch∧pNHB4&'$↓0 ∩SQp P →`∞π#p ∩'#" αdIh I↓Q_⊃gαb8αF$9h
PλR_NE(∧ ⊃g"T!HsA0 ⊂DIh
Pλ" NE(∧⊂⊃g"T HsA0 ⊂∧9h
Pλα_NE'r_NE'b N¬'b NE'R NE'R_NE'B_N¬'B_NE'2_NE'" NE'∩ N¬'∩ NE'∩_NE'α_NE&r_N¬&r_NE&R(NE%bXNE$c⊂N¬$β@NE#∪hNE"#hNE↓3pN¬ ChNP yh ∩∪D!''9h~'%Y`∪g$ h '"→`¬g D !@6?␈␈x␈␈␈␈xn@␈␈␈xv@'?␈␈xuB3!M¬3!HMG32MHs20N s2PN
s2pN s3λN sC N
33@N∞3CX∨∧∪C`≤εSCp→λSD % X ⊂eαhN⊂λb⊂→'λ∧P
sD(βgi` 'SDOgλ
N⊂∀→` (SDQ'λ
_N
A∧9'¬h ≠sB8λ⊂
i`∪∧hε`N BT5'∧Q8 ~SB( P
`∩FHε8N #43'∧Ap∂αGI`∩λβ↓⊂≤'$2⊂ Efi`⊃IA1h~'∧4'LsB_ ∀ε→`⊃P
∪Nλh¬⊂↔g∧4) SR⊂ ∀eY`⊃⊂
2hNλH¬_⊗'∧$)K∪Rλ ∀e9`⊂P
2PNλH¬λ∃g$∀(JSBλ ∀¬)h⊂⊂
αHNλ(∧p∃'$∧'
3Bλ ∪¬→h⊂⊂ 2HNλ(∧H∀g$∧$
3R ⊃E→`⊂PλBHNH(∧λ∃'$∪x∀g$#X∃'$#H∃'$3(∃'$C⊂∃'DBp∃'$bP∃'%α(∃'E∩∃gE!X∃g%Q ⊗gFX↔gHε8OP )p ↔St,gH¬0OP
→x ∪∀∧#'h∧λP∞ss(P T∩0PG41λ"⊂`≠?␈x␈␈␈␈x␈w≤␈␈x␈{`∩␈␈x␈}A)@ &# H∞fD→P∩fE→P⊗ff X→&FiX≤&g9X≡fgyX ⊂SD!O`yX ⊃'0`N⊂λs0λfh∧H→¬3D% C→` ∪¬!`MP b0∂gλ¬⊂HsD)εdy` ∃αR`N⊂
ph_gλ 0N⊂∩i` %STK'λ 0N t/'¬`h ⊗sRXλP →`∀E(¬@N c∧+g$QX ∃3B ∞P
I`⊃Hλ¬⊂NH$!xα SBλ⊃Fa∩`NGda8ε
sAx∪DbαPNπex JSQp∃BβαHNπH∧X∀g#T%J3Ap ∩e h∞P 2@Nπ(∧X∀'#T% sQ` ∩Dy`∞⊂ "8NGλ∧H∪gβD$IsQ` ∩∧yh
P α0Nπλ∧8∪'#D"IsQX ⊃$yh
PλB0Nπλ∧_∪'#D! SQX ⊂$ih
Pλα0NFgb8NππR0NGπ28NGπ∩8NGεr8NGεR@NG&∩HNG%bPNGE"XNH∧BhNHCSNIb∪(O⊂
→h →sT2gHελNP ip ⊗ST+gH¬_O⊂ yp ∩St"'gZλ~(%~( ⊃λ0
ox␈␈␈␈x␈␈{0∞∨x␈␈⎇p Ox␈␈}08Mαs xM∧s1(Mε∪1PMG∪1xMH32_MI328 ⊃!I`∀OBYX∃N#9X⊗M$ X↔L$I`_K$yX→J%9`~I%iX≠HF `≤G&IX≡ε&y`∨¬'→X ⊂Bβ`N⊂λPH ⊂∪DGfh N⊂∩→` $3DI'λ ⊂N D/g¬p8 ↔3Bh¬P 9`⊗β(¬XN
at-'%⊃λ ⊗3B@ H!βN ba`π 3B8 Fα"`NI#⊃
sB(
Dβ∩XN β``
JsR_⊂ACrPNλH∧8∃'$∀$
3Bλ ∩¬)h⊂⊂ ∩HNλλ∧H∀g#t$J3Ax ∩E h∂⊂ "@Nπh∧H∀'#d$J∪Qh ∩Dy`∂⊂ ∩8NG(∧H∪g#T$ sQ` ∩∧yh∞⊂λr8Nπ(∧0∪'#D# SQ` ⊃$ih∞⊂λB0NGλ∧⊂∪'#D ISQ`∨IsQ`∨ SQ`≡ sQh≤IsQh≠
3Qh~
3Qp_
Sah⊗ ∪Qp∪KSQx⊃ ∪Rλ
LSb λ
sT4'(ε(O⊂ →h ↔Sd-'H¬0NP
)p ∪3d$'H∧_O∂3s0P Tα QE(D_εx␈␈␈␈xx 0¬h∩0∧@
e¬I8≠fπyH ⊃S∀&f(¬_M⊂
yP ↔∪"0λJ32λ∞ S!x⊃I∪1h∀ ∪!h⊗λs1`↔I∪1`→λs1X~Hs1X≠Hs1X≤Hs1X≥HsAP≡ ∪1X≡Hs1X∨HsAX∨I∪1X ⊂$9`
Pλ∩ MGλ∧⊂⊃gβD! ∪1` ⊃∧9`∞⊂λB Nπλ∧ ∩&cT" ∪Ah ⊃$9`∞PλR Nπ(∧(∩'βT"I∪Ah ⊃$I`∞Pλb Nπλ∧8∩'βD#I∪QX ⊃dI`
Pλr Nεh∧8∩'#∀$ ∪AH ∩∧Ih ⊂ α N¬h∧H∩'"d$I∪Q ∩DIh ⊂ 2 NDλ∧`∩'AD' ∪p8 ∀∧D@¬8∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧IX∩g∧Y`∩fdy`∪fe X∀fe)P⊗&EiP_&F)P~&FiH≤fG9P≡fC⊂∩f#⊂ ∩fC⊂0∩fCH∩fCX∩fBpp∩f#↓∩fC↓⊂∩fC↓ ∩fC↓0∩fC↓@∩fC↓P∩fC↓`∩fC↓p∩fCα∩fCα⊂∩fcα_∩fCα(∩fCα8∩fC∩@∩fc∩H∩fC∩X∩fC"`∩fc"h∩fC"x∩fc#∩fC3λ∩fc3⊂∩fc3_∩fCC ∩fcC(∩fcC0∩fcC8∩fCS@∩fcc@∩fccH∩fccP∩fccX∩fcsX∩fcs`∩fcsh∩fdβh∩fdβp∩fd∪p∩g∧∧ ∪2λ ⊂∧IX⊂Pλ∩ MHH∧λ∩'∧∀! ∪2⊂ ⊂DIX⊃⊂λ2 NλH∧_∩&d4!I∪B_ ⊂dIX⊃PλB Nλh∧ ∩&dD" ∪B ⊃∧I`⊃PλR MIλ∧(∩'∧D"I∪B ⊃$IX∩PλR N (∧(∩'∧T"I∪B( ⊃$IX∪⊂λR N H∧(∩'∧d"I∪B0 ⊃$I`∪PλB N h∧ ∩'∧t!I3B8 ⊂dY`∀⊂λ"(N
λ∧λ∪'¬∧ ISBH∨IsBH∨
$⊂(NJ'BP⊂AsBH≥Jd⊂8N
G∩`⊂α∪BX≠ cp@NJFCλ∂α3BX→ C`@N ¬pxI#@HNK¬A↓ #@HN %⊃λα # PN Daλβ #⊂PNKd!⊂∧ "pXN #a_¬ "P`NLC⊃(¬IB0`NLbA8εIBpN
aAHλ a@xNP !λ∃↓b→h ⊗α4 'λ¬0 ∂sT*επYh ∀#3XNP qh≥'(∧`⊂∞∪T$Hfih ⊃dS NPλBH_gH∧⊗ sSh↔K3cH→J3S0≠IScλ≥Hsbh∨Gsr8 ⊃#)x⊂P 1 OF(¬ ε(!t !@8?␈␈x␈␈␈␈x⎇@f?␈␈xI∪@8ε∩2HK
∩shKPλY8 ∪3∧*&(¬PL⊂ H →3∀5&(εxLP∞9H ≡∪∀>&(λλM⊂⊂IH "∪$F&HλxLP∩9P %S$Lf( hM⊂∀ P (s$S&H
HM⊂∃9P +S$XfH M⊂⊗iP .3$↑&H xMP_ P 0s$bfH @KP~)` 4T∀d'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ h 1Sda'h `OP⊗j⊂ *T4N)Hλ@TP
k⊂ ⊂HD_πλ␈␈␈␈x␈␈␈␈X `␈␈␈y⊂βH¬H %$I0_&π @ ⊂∪∀#&(∧`LP
)P ∃S∀.&HεM⊂ IP ~∪$6&HπM⊂∞IX ≥S$=&hπ`M⊂⊂ X S$C&hλ@M⊂⊃IX #S4H&h ⊂MP∩IP &∪4M&h `MP∪iX (∪4Q&h
MP∀iX *∪4U&h
`MP∃i` +S4X&h ⊂MP⊗IX -S4\'λ @MP↔)X /∪D↑&h pMP_ ` 0∪4a&h N⊂_IX 1S4d%h
⊂N⊂~*λ 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @NP_ip 0St↑'h 0Q⊂∃*_ '∀dD*(εpY⊂λ$ !@9?␈␈x␈␈␈␈x|@f?␈␈xI*@ E2R KKSβ0LO3∀!f(∧HLP yP ∃∪$,&H¬`M⊂ P →∪$4&hεXM⊂
yX ≤S$;&hπ@MP∂9X ∨3$@fhλ_MP⊂iX "∪4EfhλhMP⊃yX $S4J&h 0N⊂∩yX &34N&h pN⊂∪yX (34Qgλ
MP∀i` )s4Tgλ
PMP∃I` +34Wgλ N⊂⊗→X ,sDYgλ MP⊗i` -sD\'λ HN⊂↔)X .sD↑'λ hN⊂↔i` /SD←gλ N⊂_→` 03Da'λ _N⊂_I` 1∪Tb'λ (N⊂_Y` 1STc'λ 0N⊂_yh 1sDcgλ @NP_y` 2∪Td'λ @NP→ ` 2∪Td%h
⊂N⊂~*λ 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @NP_ip 0St↑'h 0Q⊂∃*_ '∀dD*(εpY⊂λ$ !@9␈␈␈x␈␈␈␈x⎇@f?␈␈xI∞HD∩Q`KI3α`LL3β8LO∪∀ &(∧(LP →P ∪3∀(f(¬(M⊂ H ↔∪$/f(ε_M⊂ iH ~S$6&(πLP∞IP ≥s∀=&HπhLP⊂→H !∪∀D&(λ`-AG∧J'↓β_ %t⊂(⊗P∩i`∧ H PNββTOgα⊃λ )SDd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ ` 2∪Dd'λ @N⊂→ h 1Sda'h `OP⊗j⊂ *T4N)Hλ@TP
k⊂ ⊂HD_π ␈␈␈␈x␈␈␈␈X `␈␈␈y⊂βH¬H %$I0_&π @ ⊂∪∀#&(∧`LP
)P ∃S∀.&HεM⊂ IP ~∪$6&HπM⊂∞IX ≥S$=&h∧P εS$!J"IX∨
α P≥O!iX≠PλP`M
λ∧h¬ff∀*α32x ⊗@yX⊗⊂ 0MJHε(αfE∀5↓328 ≠`IX∩P∞0 MHhπ@↓fd∀>s1x )X∂⊂⊂@⊂MGλλ@↓&c4F31P #`→X ⊂∩0λMEh 0gαYX fb)Xλfb Xπg↓YXε&a9`∧fa XβgYXα&`I`↓&`→0"@Td↓3@( 2T |α ~B0WB0W?␈␈xh@f?␈␈xIλ∪=L∧?00@λR⎇L n␈01@(∃=L@↓Z∂02@@;=L`αD␈03@X↑=Mβ#?04@pW=M ∧¬∂05@↓λZ⎇M@∧bO06@↓ R⎇M`¬F/07@↓8a⎇Nεg∂08@↓h ⎇N πdO09@αλD=N@λi?H∧C @w{⎇xow{⎇x